Implicit meanflow–multigrid algorithms for Reynolds stress model computation of 3‐D anisotropy‐driven and compressible flows

The present paper investigates the multigrid (MG) acceleration of compressible Reynolds‐averaged Navier–Stokes computations using Reynolds‐stress model 7‐equation turbulence closures, as well as lower‐level 2‐equation models. The basic single‐grid SG algorithm combines upwind‐biased discretization with a subiterative local‐dual‐time‐stepping time‐integration procedure. MG acceleration, using characteristic MG restriction and prolongation operators, is applied on meanflow variables only (MF–MG), turbulence variables being simply injected onto coarser grids. A previously developed non‐time‐consistent (for steady flows) full‐approximation‐multigrid (s–MG) is assessed for 3‐D anisotropy‐driven and/or separated flows, which are dominated by the convergence of turbulence variables. Even for these difficult test cases CPU‐speed‐ups r_CPUSUP∈[3, 5] are obtained. Alternative, potentially time‐consistent approaches (unsteady u–MG), where MG acceleration is applied at each subiteration, are also examined, using different subiterative strategies, MG cycles, and turbulence models. For 2‐D shock wave/turbulent boundary layer interaction, the fastest s–MG approach, with a V(2, 0) sawtooth cycle, systematically yields CPU‐speed‐ups of 5±½, quasi‐independent of the particular turbulence closure used. Copyright © 2008 John Wiley & Sons, Ltd.     

A parallel computational method for simulating two‐phase gel dynamics on a staggered grid

We develop a parallel computational algorithm for simulating models of gel dynamics where the gel is described by two phases, a networked polymer and a fluid solvent. The models consist of transport equations for the two phases, two coupled momentum equations, and a volume‐averaged incompressibility constraint. Multigrid with Vanka‐type box‐relaxation scheme is used as preconditioner for the Krylov subspace solver (GMRES) to solve the momentum and incompressibility equations. Through numerical experiments of a model problem, the efficiency, robustness and scalability of the algorithm are illustrated. Copyright © 2008 John Wiley & Sons, Ltd.     

A new general algorithmic method in reaction syntheses using linear algebra

We discuss here a new general linear algebraic method (both model and algorithm) for describing and generating (among others) minimal reactions and also minimal mechanisms in stoichiometry, or dimensionless groups in physics as well. (Further applications in process network syntheses will be discussed in .) With some minor modifications of the input this method can be extended for several related questions: for generating direct and overall reactions, direct (steady state) mechanisms, for finding the possible resulting (overall) reactions among all possible mechanisms, etc.Computational results in section 4 show the speed of our algorithm.We give also mathematical background and results in sections 3, 5 and 6. However, we do not restrict ourselves to mathematics only, we also talk on the language of chemistry, too.The theoretical results in sections 3.2, 3.3, 5 and the computational examples in section 4 are completely new, further theoretical results will appear in and in .     

Local cyclic homology

Local (cyclic) homology of filtered associative algebras is defined and discussed. In the commutative case, it fits naturally in the setting of (formal) de Rham cohomology; we thus obtain a satisfactory complement to a result of Feigin and Tsygan. There is a spectral sequence from discrete (cyclic) homology of the associated graded algebra to local (cyclic) homology of the original filtered algebra; we exhibit manageable conditions on its convergence.     

抛物问题的mortar有限元逼近的瀑布型多重网格法

用瀑布型多重网格法解决椭圆、抛物问题，已有不少研究工作[1-2]，本文对抛物问题的mortar有限元的全离散格式提出瀑布型多重网格法，证明了该方法是最优的，即具有最优精确度和复杂度．     

抛物方程时间周期问题的有限元多格子动力学迭代

本文我们研究线性周期抛物方程的有限元多格子动力学迭代.多格子动力学迭代又称多重网格波形松弛,它是在函数空间中的一种迭代过程.对于由加速技术得到的多格子动力学迭代算子,我们通过计算周期函数的Fourier系数给出了新的谱表达式.从这些有用的表达式出发,我们推导了时间连续和离散格式的迭代收敛条件.数值实验进一步验证了本文的理论结果.     

Frobenius splitting and geometry of G-Schubert varieties

Let X be an equivariant embedding of a connected reductive group G over an algebraically closed field k of positive characteristic. Let B denote a Borel subgroup of G. A G-Schubert variety in X is a subvariety of the form diag(G)⋅V, where V is a B×B-orbit closure in X. In the case where X is the wonderful compactification of a group of adjoint type, the G-Schubert varieties are the closures of Lusztig's G-stable pieces. We prove that X admits a Frobenius splitting which is compatible with all G-Schubert varieties. Moreover, when X is smooth, projective and toroidal, then any G-Schubert variety in X admits a stable Frobenius splitting along an ample divisors. Although this indicates that G-Schubert varieties have nice singularities we present an example of a nonnormal G-Schubert variety in the wonderful compactification of a group of type G₂. Finally we also extend the Frobenius splitting results to the more general class of R-Schubert varieties.     

一类混合图的结构及其特征空间

主要讨论具有如下性质的一类连通混合图G:其所有非奇异圈恰有一条公共边,且除了该公共边的端点外,任意两个非奇异圈没有其它交点.本文给出了图G的结构性质,建立了其最小特征值λ1(G)(以及相对应的特征向量)与某个简单图的代数连通度(以及Fiedler向量)之间联系,并应用上述联系证明了λ1(■)≤α(G),其中G是由G通过对其所有无向边定向而获得,α(■)为■的代数连通度.     

Deformation Quantization of Algebraic Varieties

The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent sheaves. The global category is very degenerate in general. Thus, we introduce a new notion of a semiformal deformation, a replacement in algebraic geometry of an actual deformation (versus a formal one). Deformed algebras obtained by semiformal deformations are Noetherian and have polynomial growth. We propose constructions of semiformal quantizations of projective and affine algebraic Poisson manifolds satisfying certain natural geometric conditions. Projective symplectic manifolds (e.g. K3 surfaces and Abelian varieties) do not satisfy our conditions, but projective spaces with quadratic Poisson brackets and Poisson–Lie groups can be semiformally quantized.     

单支方法的收敛性

本文讨论用单支方法数值求解一类多刚性时滞微分代数方程的收敛性。我们获得了A－稳定的且p阶经典相容的单支方法（时滞部分用线性插值）的整体误差估计。